Type theory

Results: 3552



#Item
241Algebra / Abstract algebra / Mathematics / Operator theory / Semigroup theory / Semigroup / Harmonic analysis / Beltrami equation / Singular integral operators of convolution type

527 Documenta Math. Semigroup Properties for the Second Fundamental Form

Add to Reading List

Source URL: documenta.sagemath.org

Language: English - Date: 2010-08-26 14:51:45
242Software engineering / Theoretical computer science / Mathematical logic / Formal methods / Computability theory / Lambda calculus / Subroutines / Satisfiability modulo theories / XC / HindleyMilner type system / First-order logic / Recursion

Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert

Add to Reading List

Source URL: st.inf.tu-dresden.de

Language: English - Date: 2012-09-25 06:20:13
243Type theory / Parametricity / Polymorphism / Ordinal number / Constructible universe / Functional programming / Proof theory / CurryHoward correspondence / Net

Embarrassingly Simple Generation of Free Theorems Stefan Mehner and Janis Voigtl¨ander March 26th, 2014

Add to Reading List

Source URL: www.janis-voigtlaender.eu

Language: English - Date: 2016-08-01 05:50:10
244Data types / Procedural programming languages / Type theory / C / Struct / Type safety / Pointer / C++ classes / Recursion / ALGOL 68 / Type system / This

Binding-Time Analysis and the Taming of C Pointers ∗ Lars Ole Andersen DIKU, University of Copenhagen

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:06
245Type theory / Parametricity / Type class / Haskell / Polymorphism / Map / Lambda calculus / Combinatory logic / Kind / Parametric polymorphism / ML / Haskell features

Technische Universität Dresden Fakultät Informatik DIPLOMARBEIT Free Theorems for Sublanguages of Haskell

Add to Reading List

Source URL: www4.in.tum.de

Language: English - Date: 2008-04-14 08:10:31
246Algebraic topology / Topological graph theory / Euler characteristic / Genus / Manifold / Symbol

A BOSE TYPE FORMULA FOR THE INTERNAL MEDIAL AXIS OF AN EMBEDDED MANIFOLD. KEVIN HOUSTON SCHOOL OF MATHEMATICS UNIVERSITY OF LEEDS LEEDS, LS2 9JT, U.K.

Add to Reading List

Source URL: www.kevinhouston.net

Language: English - Date: 2010-09-20 07:29:58
247Moduli theory / Riemann surfaces / Differential geometry / Geometric topology / Quantum field theory / Moduli space / Mapping class group / Conformal geometry / Moduli / Teichmller space / Moduli stack of formal group laws

Moduli Spaces Two Riemann surfaces of the same topological type can, of course, be conformally inequivalent; but how many conformal structures are there, and how can one deform them ? Take for example an annulus A(r, R)

Add to Reading List

Source URL: www.math.uni-bonn.de

Language: English - Date: 2011-02-14 06:36:11
248Arithmetic / Numerical analysis / Computer arithmetic / Rounding / Theory of computation / Significant figures / Forest / Standard error

Appendix E Woodland Owners in the Chesapeake Bay Watershed, 2003 Preliminary Results from the National Woodland Owners Survey Table 1 Forestland area by ownership type (standard errors in acres)

Add to Reading List

Source URL: na.fs.fed.us

Language: English - Date: 2015-06-08 10:21:55
249Type theory / Data types / Functional programming / Dependently typed programming / Generalized algebraic data type / Type class / Valuation

System FC with Explicit Kind Equality (Extended Version) Stephanie Weirich Justin Hsu Richard A. Eisenberg

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2013-08-06 17:30:04
250Model theory / Mathematical logic / Formal languages / Predicate logic / Metalogic / First-order logic / Principia Mathematica / Interpretation / Well-formed formula / Lambda calculus / Constructible universe / Structure

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University

Add to Reading List

Source URL: www.peoppenheimer.org

Language: English - Date: 2016-07-11 03:14:21
UPDATE